/**
*  when n is 2 to the power of n, then
*  n-1 is all 1s from 0 to the previous digit.
*  then n&(n-1) == 1 only when n is a number of 2 to the power of sth.
*
*/